[网络] 命题逻辑 logics: 逻辑学propositional: 建议的; 提议的; 主张的formal logics: 形式逻辑modality logics: 模态逻辑consistency in nonmonotonic logics: 非单调逻辑的一致性下载手机词典可随时随地查词查翻译